Desenho por Contrato: Um Ciclo de Vida
نویسندگان
چکیده
Resumo — Um dos grandes objectivos da Engenharia de Software é produzir software com qualidade. Significa isto que propriedades como robustez, correcção, reutilização, manutenção, compatibilidade, eficiência, portabilidade e funcionalidade, entre outras, têm que estar presentes num produto de software com qualidade. O Desenho por Contrato (DpC) com Object Constraint Language (OCL) e a Programação por Contrato (PpC) são reconhecidamente instrumentos potenciadores de qualidade que actuam em dois extremos, respectivamente no modelo e no código. Estabelecer a ponte entre estes dois extremos é um passo importante para o aumento da qualidade do produto final. Este artigo pretende constituir uma análise do estado da arte no que respeita às ferramentas que possibilitam modelação em Unified Modelling Language (UML) com OCL e implementação de DpC com a linguagem Java e que possam sustentar essa ponte.
منابع مشابه
Application of Nanotextured Carbons for Electrochemical Energy Storage in Aqueous Medium
Este trabalho apresenta um capacitor híbrido, com dois eletrodos diferentes trabalhando em seus intervalos de potencial ótimos. O eletrodo negativo é baseado na sorção reversível de hidrogênio, que ocorre em valores baixos de potencial em carbono com nanoporos. Ciclos galvanostáticos no intervalo de temperatura entre 20 e 60 °C demonstram que o hidrogênio é fracamente quimi-sorvido. Isto é conf...
متن کاملA Organização de uma Máquina de Processo e a Melhoria do Processo de Produção de Software em um Ambiente de Fábrica
A organização de uma máquina de processo é um dos fatores relevantes para a concepção de uma fábrica de software. A máquina quando organizada deve dar subsídios para a administração de todo o ciclo de vida do componente. Ao organizar e institucionalizar uma máquina, a fábrica pode obter não só a melhoria do processo de produção de software, mas sim a institucionalização do mesmo. Este artigo ap...
متن کاملFerramenta de Apoio aos Processos da Engenharia de Requisitos, nas Fases de Projetos
Resumo. O artigo trata os requisitos que compõem os aspectos funcionais de uma ferramenta de apoio aos processos da Engenharia de Requisitos. A ferramenta é tratada sob dois aspectos: a parte geral que deve conter um tutorial com noção básica de uso e de instalação e, a parte específica de projeto que deve abordar os processos de requisitos. Os dados do projeto são suportados por um roteiro did...
متن کاملQuality of life in the workplace for nursing staff at public healthcare institutions 1
OBJECTIVE to determine the quality of life in the workplace for nursing staff at public institutions in Hermosillo, Sonora, Mexico. METHOD quantitative, correlational, cross-sectional, and comparative. We used a probabilistic sample of 345 nurses with data collected in 2013 using an instrument created by the authors to gather bio-socio-demographic data and the CVT-GOHISALO instrument with a C...
متن کاملSistematização do processo de projeto para confiabilidade e mantenabilidade aplicado a sistemas hidráulicos e implementação de um sistema especialista
The objective of this thesis is to present the development of an expert system that facilitates the process of maintainability and reliability design of hydraulic systems. The knowledge systematization in this domain involves the integration of Reliability Modeling, FMEA (Failure Mode and its Effect Analysis) to support the establishment of efficient and cost effective maintenance tasks for eac...
متن کامل